Erratum to: Localizing the axioms

Erratum to: Localizing the axioms

In clause (i) of Lemma 2.1 of [1] it is claimed that in BST we can show the existence of ω as the least inductive set. BST contains the axiom of Infinity saying that “there is an inductive set”. However one cannot see how to prove the existence of a least inductive set without either ∈-induction or at least Π1-Separation, both of which are not included in BST. The simplest way to correct this f...

Localizing the axioms

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All Π2 consequences of ZFC are provable in LZFC. LZFC strongl...

Notes to “The Resurrection Axioms”

I will discuss a new class of forcing axioms, the Resurrection Axioms (RA), and the Weak Resurrection Axioms (wRA). While Cohen’s method of forcing has been designed to change truths about the set-theoretic universe you live in, the point of Resurrection is that some truths that have been changed by forcing can in fact be resurrected, i.e. forced to hold again. In this talk, I will illustrate h...

Erratum to: Armentum: a hybrid direct search optimization methodology

In the original publication of this article unfortunately the co-authors were omitted. The two co-authors are displayed now.

Erratum